[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 74 65 203 112 0 90 456

N.S.

1 1.00 0.55 0.48 1.50 0.83 0.00 0.67 3.38

time (sec)

N/A 0.240 0.351 2.544 0.503 2.313 0.000 0.982 7.312

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 60 63 175 95 0 58 446

N.S.

1 1.00 0.68 0.72 1.99 1.08 0.00 0.66 5.07

time (sec)

N/A 0.156 0.298 2.422 0.499 3.287 0.000 0.888 7.719

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 55 55 146 80 0 62 441

N.S.

1 1.00 1.34 1.34 3.56 1.95 0.00 1.51 10.76

time (sec)

N/A 0.070 0.158 2.516 0.525 2.657 0.000 1.272 7.590

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 225 155 0 435 0 119 -1

N.S.

1 1.00 1.24 0.86 0.00 2.40 0.00 0.66 -0.01

time (sec)

N/A 0.283 1.606 2.484 0.000 3.151 0.000 0.668 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 398 370 0 523 0 154 -1

N.S.

1 1.00 1.88 1.75 0.00 2.47 0.00 0.73 -0.00

time (sec)

N/A 0.332 6.438 2.603 0.000 4.311 0.000 0.765 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 468 631 0 499 0 184 -1

N.S.

1 1.00 1.90 2.57 0.00 2.03 0.00 0.75 -0.00

time (sec)

N/A 0.360 6.653 2.874 0.000 2.004 0.000 0.938 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 87 82 688 101 0 104 136

N.S.

1 1.00 2.02 1.91 16.00 2.35 0.00 2.42 3.16

time (sec)

N/A 0.088 0.469 2.522 0.558 2.685 0.000 1.729 3.800

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 73 72 324 85 0 83 78

N.S.

1 1.00 1.70 1.67 7.53 1.98 0.00 1.93 1.81

time (sec)

N/A 0.086 0.309 2.672 0.561 2.759 0.000 1.568 2.637

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 56 62 59 61 0 54 47

N.S.

1 1.00 1.37 1.51 1.44 1.49 0.00 1.32 1.15

time (sec)

N/A 0.079 0.177 2.582 0.507 2.100 0.000 1.397 1.942

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 99 141 98 0 0 0 -1

N.S.

1 1.00 1.94 2.76 1.92 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.088 0.851 2.757 0.512 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 62 60 556 86 0 58 118

N.S.

1 1.00 1.48 1.43 13.24 2.05 0.00 1.38 2.81

time (sec)

N/A 0.097 0.248 2.801 0.572 3.332 0.000 1.784 2.996

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 69 70 816 115 0 86 203

N.S.

1 1.00 1.60 1.63 18.98 2.67 0.00 2.00 4.72

time (sec)

N/A 0.091 0.387 2.608 0.638 3.253 0.000 1.809 6.610

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 108 103 1804 121 0 132 294

N.S.

1 1.00 1.21 1.16 20.27 1.36 0.00 1.48 3.30

time (sec)

N/A 0.194 1.058 2.542 0.595 2.631 0.000 1.831 6.149

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 97 93 1187 121 0 107 195

N.S.

1 1.00 1.09 1.04 13.34 1.36 0.00 1.20 2.19

time (sec)

N/A 0.187 0.582 2.683 0.568 3.753 0.000 1.745 5.499

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 78 83 596 89 0 86 108

N.S.

1 1.00 0.88 0.93 6.70 1.00 0.00 0.97 1.21

time (sec)

N/A 0.187 0.425 2.714 0.592 2.339 0.000 1.695 3.145

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 73 73 60 83 0 56 76

N.S.

1 1.00 1.70 1.70 1.40 1.93 0.00 1.30 1.77

time (sec)

N/A 0.092 0.283 2.642 0.500 2.898 0.000 1.593 2.587

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 174 162 296 0 0 0 -1

N.S.

1 1.00 1.83 1.71 3.12 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.187 1.402 2.928 0.574 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 134 249 130 0 0 0 -1

N.S.

1 1.00 1.35 2.52 1.31 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.183 0.656 2.764 0.520 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 63 73 575 103 0 61 165

N.S.

1 1.00 1.50 1.74 13.69 2.45 0.00 1.45 3.93

time (sec)

N/A 0.102 0.470 2.626 0.578 3.025 0.000 1.873 4.830

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 80 83 1676 144 0 89 273

N.S.

1 1.00 0.91 0.94 19.05 1.64 0.00 1.01 3.10

time (sec)

N/A 0.207 0.583 3.005 1.261 2.138 0.000 1.807 7.031

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 90 93 2804 171 0 113 340

N.S.

1 1.00 0.98 1.01 30.48 1.86 0.00 1.23 3.70

time (sec)

N/A 0.196 0.821 2.579 5.952 2.298 0.000 2.152 7.620

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 100 103 4202 199 0 137 407

N.S.

1 1.00 1.09 1.12 45.67 2.16 0.00 1.49 4.42

time (sec)

N/A 0.192 1.205 2.628 33.298 2.315 0.000 1.697 7.680

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 113 105 2620 163 0 134 307

N.S.

1 1.00 0.84 0.78 19.55 1.22 0.00 1.00 2.29

time (sec)

N/A 0.288 1.282 2.917 0.571 2.544 0.000 1.772 6.234

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

134 134 92 95 1634 114 0 109 215

N.S.

1 1.00 0.69 0.71 12.19 0.85 0.00 0.81 1.60

time (sec)

N/A 0.285 0.760 2.699 0.561 2.050 0.000 1.761 5.609

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 96 85 1188 121 0 88 195

N.S.

1 1.00 1.08 0.96 13.35 1.36 0.00 0.99 2.19

time (sec)

N/A 0.194 0.592 2.742 0.584 2.753 0.000 1.838 5.442

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 88 75 62 101 0 60 136

N.S.

1 1.00 2.05 1.74 1.44 2.35 0.00 1.40 3.16

time (sec)

N/A 0.089 0.479 2.898 0.498 2.792 0.000 1.746 3.610

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 328 189 791 0 0 0 -1

N.S.

1 1.00 2.33 1.34 5.61 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.275 6.614 2.838 0.595 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B B F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 188 289 2185 0 0 0 -1

N.S.

1 1.00 1.30 1.99 15.07 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.282 1.409 2.898 0.741 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A F F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 182 366 179 0 0 0 -1

N.S.

1 1.00 1.26 2.52 1.23 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.289 1.316 2.993 0.492 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F(-2) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 76 75 1949 136 0 65 199

N.S.

1 1.00 1.81 1.79 46.40 3.24 0.00 1.55 4.74

time (sec)

N/A 0.097 0.596 2.909 0.588 2.343 0.000 1.821 6.040

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 92 85 2915 179 0 91 350

N.S.

1 1.00 1.05 0.97 33.12 2.03 0.00 1.03 3.98

time (sec)

N/A 0.204 0.826 2.987 5.786 2.941 0.000 1.908 6.785

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 102 95 4404 209 0 115 419

N.S.

1 1.00 0.77 0.71 33.11 1.57 0.00 0.86 3.15

time (sec)

N/A 0.314 1.214 2.774 32.795 2.869 0.000 1.752 7.169

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B F F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 141 165 791 0 0 160 -1

N.S.

1 1.00 1.01 1.19 5.69 0.00 0.00 1.15 -0.01

time (sec)

N/A 0.272 1.481 2.859 0.585 0.000 0.000 1.642 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 173 149 297 0 0 129 -1

N.S.

1 1.00 1.84 1.59 3.16 0.00 0.00 1.37 -0.01

time (sec)

N/A 0.176 1.790 3.125 0.568 0.000 0.000 1.413 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 140 115 68 0 0 59 -1

N.S.

1 1.00 2.80 2.30 1.36 0.00 0.00 1.18 -0.02

time (sec)

N/A 0.082 0.390 3.040 0.511 0.000 0.000 1.245 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 94 85 48 218 0 70 -1

N.S.

1 1.00 2.00 1.81 1.02 4.64 0.00 1.49 -0.02

time (sec)

N/A 0.092 0.814 3.112 0.564 3.169 0.000 1.679 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 79 131 442 414 0 92 -1

N.S.

1 1.00 0.83 1.38 4.65 4.36 0.00 0.97 -0.01

time (sec)

N/A 0.183 0.883 3.066 0.574 1.984 0.000 1.905 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 91 170 1303 494 0 122 -1

N.S.

1 1.00 0.65 1.21 9.31 3.53 0.00 0.87 -0.01

time (sec)

N/A 0.281 0.818 3.063 0.646 3.499 0.000 1.742 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B F F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 183 235 2185 0 0 161 -1

N.S.

1 1.00 1.29 1.65 15.39 0.00 0.00 1.13 -0.01

time (sec)

N/A 0.284 1.031 2.862 0.777 0.000 0.000 1.605 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 132 191 105 0 0 79 -1

N.S.

1 1.00 1.39 2.01 1.11 0.00 0.00 0.83 -0.01

time (sec)

N/A 0.181 1.045 2.911 0.510 0.000 0.000 1.572 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 73 58 85 0 36 50

N.S.

1 1.00 1.00 1.74 1.38 2.02 0.00 0.86 1.19

time (sec)

N/A 0.091 0.181 2.955 0.510 4.239 0.000 1.664 2.548

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B B F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 95 157 123 433 412 0 95 -1

N.S.

1 1.00 1.65 1.29 4.56 4.34 0.00 1.00 -0.01

time (sec)

N/A 0.189 1.390 2.816 0.574 3.193 0.000 1.892 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 69 133 613 434 0 120 -1

N.S.

1 1.00 0.66 1.28 5.89 4.17 0.00 1.15 -0.01

time (sec)

N/A 0.124 0.804 2.967 0.568 2.397 0.000 3.075 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 122 211 0 588 0 153 -1

N.S.

1 1.00 0.84 1.45 0.00 4.03 0.00 1.05 -0.01

time (sec)

N/A 0.235 1.498 2.701 0.000 4.558 0.000 1.930 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A F F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 178 281 141 0 0 114 -1

N.S.

1 1.00 1.23 1.94 0.97 0.00 0.00 0.79 -0.01

time (sec)

N/A 0.286 1.395 3.247 0.518 0.000 0.000 1.520 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 68 75 106 103 0 59 119

N.S.

1 1.00 1.62 1.79 2.52 2.45 0.00 1.40 2.83

time (sec)

N/A 0.099 0.291 3.074 0.507 2.058 0.000 1.614 3.512

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 71 75 62 113 0 37 120

N.S.

1 1.00 1.65 1.74 1.44 2.63 0.00 0.86 2.79

time (sec)

N/A 0.093 0.254 3.051 0.497 1.711 0.000 1.544 3.248

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 91 164 1293 494 0 124 -1

N.S.

1 1.00 0.65 1.17 9.24 3.53 0.00 0.89 -0.01

time (sec)

N/A 0.290 1.041 3.190 0.624 1.953 0.000 1.715 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 130 204 0 580 0 151 -1

N.S.

1 1.00 0.89 1.40 0.00 3.97 0.00 1.03 -0.01

time (sec)

N/A 0.228 1.420 3.547 0.000 2.498 0.000 1.958 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A B A F(-2) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 84 173 1791 520 0 182 -1

N.S.

1 1.00 0.52 1.08 11.19 3.25 0.00 1.14 -0.01

time (sec)

N/A 0.141 1.377 3.095 0.878 1.708 0.000 1.917 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 1.302 0.194 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 89 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.252 0.229 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 85 0 0 0 0 0 -1

N.S.

1 1.00 0.94 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.157 0.164 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

90 90 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.076 0.582 0.158 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

92 92 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.079 2.474 0.183 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F A A F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

160 160 0 0 240 200 0 0 -1

N.S.

1 1.00 0.00 0.00 1.50 1.25 0.00 0.00 -0.01

time (sec)

N/A 0.253 50.897 0.241 0.513 1.980 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F A A F(-1) F B

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

100 100 0 0 181 120 0 0 154

N.S.

1 1.00 0.00 0.00 1.81 1.20 0.00 0.00 1.54

time (sec)

N/A 0.146 68.677 0.237 0.502 1.307 0.000 0.000 3.592

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 163 0 122 76 0 0 -1

N.S.

1 1.00 3.54 0.00 2.65 1.65 0.00 0.00 -0.02

time (sec)

N/A 0.071 18.801 0.228 0.506 3.141 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

69 69 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.670 0.225 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

74 74 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 0.662 0.236 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

74 74 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 1.899 0.228 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 321 0 164 128 0 0 290

N.S.

1 1.00 1.90 0.00 0.97 0.76 0.00 0.00 1.72

time (sec)

N/A 0.266 9.070 0.358 0.497 1.508 0.000 0.000 10.646

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 250 0 113 100 0 0 145

N.S.

1 1.00 2.40 0.00 1.09 0.96 0.00 0.00 1.39

time (sec)

N/A 0.168 3.079 0.313 0.500 2.545 0.000 0.000 8.002

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 208 0 66 78 0 0 105

N.S.

1 1.00 4.43 0.00 1.40 1.66 0.00 0.00 2.23

time (sec)

N/A 0.078 1.211 0.296 0.497 1.926 0.000 0.000 2.909

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 257 0 0 0 0 0 -1

N.S.

1 1.00 2.54 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 1.410 0.240 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

99 99 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.102 2.288 0.361 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

101 101 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 2.724 0.385 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

105 105 68 137 186 141 0 145 175

N.S.

1 1.00 0.65 1.30 1.77 1.34 0.00 1.38 1.67

time (sec)

N/A 0.143 0.312 0.273 0.284 1.397 0.000 0.501 6.320

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 57 126 173 126 0 128 146

N.S.

1 1.00 0.66 1.47 2.01 1.47 0.00 1.49 1.70

time (sec)

N/A 0.116 0.198 0.250 0.278 1.740 0.000 0.504 4.923

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 17 36 39 38 51 15 15

N.S.

1 1.00 1.00 2.12 2.29 2.24 3.00 0.88 0.88

time (sec)

N/A 0.051 0.018 0.181 0.285 2.306 1.340 0.465 1.704

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 154 78 210 115 0 87 71

N.S.

1 1.00 2.75 1.39 3.75 2.05 0.00 1.55 1.27

time (sec)

N/A 0.090 0.643 0.145 0.298 2.336 0.000 0.481 1.745

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

70 70 335 60 156 133 0 81 44

N.S.

1 1.00 4.79 0.86 2.23 1.90 0.00 1.16 0.63

time (sec)

N/A 0.127 0.457 0.197 0.296 1.295 0.000 0.472 1.686

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 43 37 125 84 0 37 35

N.S.

1 1.00 0.50 0.43 1.45 0.98 0.00 0.43 0.41

time (sec)

N/A 0.126 0.170 0.198 0.291 1.550 0.000 0.513 1.700

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

140 140 7087 0 0 0 0 0 -1

N.S.

1 1.00 50.62 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.143 30.374 0.178 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 72 0 0 0 0 0 -1

N.S.

1 1.00 1.11 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.066 0.363 0.116 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

180 180 3396 0 0 0 0 0 -1

N.S.

1 1.00 18.87 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 16.813 0.213 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

226 226 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.287 11.160 0.220 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 143 162 236 1051 369 0 0 -1

N.S.

1 1.38 1.56 2.27 10.11 3.55 0.00 0.00 -0.01

time (sec)

N/A 0.175 2.271 4.122 0.636 1.623 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 116 73 204 0 282 0 132 -1

N.S.

1 1.43 0.90 2.52 0.00 3.48 0.00 1.63 -0.01

time (sec)

N/A 0.150 0.470 3.108 0.000 1.736 0.000 0.989 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 213 724 317 1406 502 0 0 -1

N.S.

1 1.52 5.17 2.26 10.04 3.59 0.00 0.00 -0.01

time (sec)

N/A 0.180 8.048 4.935 0.621 2.352 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 150 236 152 576 356 0 0 -1

N.S.

1 1.29 2.03 1.31 4.97 3.07 0.00 0.00 -0.01

time (sec)

N/A 0.186 2.828 3.978 0.596 1.862 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 242 328 294 1496 614 0 0 -1

N.S.

1 1.35 1.83 1.64 8.36 3.43 0.00 0.00 -0.01

time (sec)

N/A 0.224 2.188 4.504 0.631 2.575 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 94 139 60 274 0 0 -1

N.S.

1 1.00 2.04 3.02 1.30 5.96 0.00 0.00 -0.02

time (sec)

N/A 0.149 0.812 3.198 0.613 2.442 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 98 412 0 374 0 136 -1

N.S.

1 1.00 1.51 6.34 0.00 5.75 0.00 2.09 -0.02

time (sec)

N/A 0.102 0.271 8.211 0.000 2.771 0.000 0.907 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 153 313 410 291 0 566 361

N.S.

1 1.00 0.65 1.33 1.74 1.23 0.00 2.40 1.53

time (sec)

N/A 0.298 1.823 0.399 0.286 2.352 0.000 0.524 5.508

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 103 223 288 220 0 380 255

N.S.

1 1.00 0.60 1.30 1.68 1.29 0.00 2.22 1.49

time (sec)

N/A 0.203 0.715 0.303 0.295 2.001 0.000 0.543 5.337

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 75 143 179 158 0 232 196

N.S.

1 1.00 0.69 1.32 1.66 1.46 0.00 2.15 1.81

time (sec)

N/A 0.115 0.450 0.243 0.285 1.847 0.000 0.513 4.761

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 75 75 96 103 0 124 111

N.S.

1 1.00 1.34 1.34 1.71 1.84 0.00 2.21 1.98

time (sec)

N/A 0.048 0.041 0.205 0.278 1.617 0.000 0.460 2.572

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

69 69 107 90 0 267 0 127 195

N.S.

1 1.00 1.55 1.30 0.00 3.87 0.00 1.84 2.83

time (sec)

N/A 0.098 0.204 0.232 0.000 1.839 0.000 0.509 2.159

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 75 105 0 371 0 137 85

N.S.

1 1.00 0.95 1.33 0.00 4.70 0.00 1.73 1.08

time (sec)

N/A 0.101 0.241 0.228 0.000 1.659 0.000 0.481 1.914

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 167 178 0 756 0 263 171

N.S.

1 1.00 1.27 1.36 0.00 5.77 0.00 2.01 1.31

time (sec)

N/A 0.191 1.278 0.362 0.000 2.414 0.000 0.577 3.776

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 247 271 0 1304 0 449 321

N.S.

1 1.00 1.31 1.43 0.00 6.90 0.00 2.38 1.70

time (sec)

N/A 0.319 3.342 0.494 0.000 2.513 0.000 0.534 5.283

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

327 371 460 552 737 398 0 736 484

N.S.

1 1.13 1.41 1.69 2.25 1.22 0.00 2.25 1.48

time (sec)

N/A 0.285 1.977 0.471 0.301 2.134 0.000 0.630 5.354

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 277 326 395 506 304 0 506 394

N.S.

1 1.14 1.35 1.63 2.09 1.26 0.00 2.09 1.63

time (sec)

N/A 0.221 1.368 0.391 0.286 2.159 0.000 0.646 5.485

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 234 479 270 350 218 0 320 237

N.S.

1 1.33 2.72 1.53 1.99 1.24 0.00 1.82 1.35

time (sec)

N/A 0.169 1.003 0.314 0.278 2.306 0.000 0.536 5.464

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 481 145 181 146 0 178 161

N.S.

1 1.00 4.67 1.41 1.76 1.42 0.00 1.73 1.56

time (sec)

N/A 0.083 6.297 0.240 0.288 1.173 0.000 0.514 4.525

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A B C A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

95 208 329 150 0 420 0 196 529

N.S.

1 2.19 3.46 1.58 0.00 4.42 0.00 2.06 5.57

time (sec)

N/A 0.168 2.091 0.306 0.000 3.092 0.000 0.517 2.587

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 231 312 157 0 589 0 230 2563

N.S.

1 1.97 2.67 1.34 0.00 5.03 0.00 1.97 21.91

time (sec)

N/A 0.174 1.554 0.385 0.000 1.687 0.000 0.531 4.790

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 184 249 167 0 642 0 211 158

N.S.

1 1.42 1.92 1.28 0.00 4.94 0.00 1.62 1.22

time (sec)

N/A 0.132 1.247 0.388 0.000 2.111 0.000 0.555 3.574

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

213 268 211 228 0 1260 0 403 286

N.S.

1 1.26 0.99 1.07 0.00 5.92 0.00 1.89 1.34

time (sec)

N/A 0.193 4.860 0.563 0.000 3.945 0.000 0.547 5.092

[next] [prev] [prev-tail] [front] [up]